« القاعدة الرابعة » في انقسام المعلوم إلى الموجود ، والمعدوم ، وما ليس بموجود ، ولا معدوم وتشتمل على ثلاثة أبواب : الباب الأول : في الموجود . الباب الثاني : في المعدوم . الباب الثالث : فيما ليس بموجود ، ولا معدوم .